منابع مشابه
On Sets, Types, Fixed Points, and Checkerboards
Most current research on automated theorem proving is concerned with proving theorems of first-order logic. We discuss two examples which illustrate the advantages of using higher-order logic in certain contexts. For some purposes type theory is a much more convenient vehicle for formalizing mathematics than axiomatic set theory. Even theorems of first-order logic can sometimes be proven more e...
متن کاملOn Fixed Points and Determining Sets for Holomorphic Automorphisms
This paper considers the number of discrete fixed points that an automorphism (biholomorphic self-map) of a complex domain or manifold can have. Our results give a geometric formulation to the problem and its solution; they generalize classical theorems in one complex
متن کاملEvaluating Polynomials at Fixed Sets of Points
We investigate the evaluation of an (n-1)st degree polynomial at a sequence of n points. It is shown that such an evaluation reduces directly to a simple convolution if and only if the sequence of points is of the form b, ba, ba2, ., ba for complex numbers a and b (the so-called "chirp transform"). By more complex reductions we develop an O(n log n) evaluation algorithm for sequences of points ...
متن کاملExperimental results on quadrangulations of sets of fixed points
We consider the problem of obtaining “nice” quadrangulations of planar sets of points. For many applications “nice” means that the quadrilaterals obtained are convex if possible and as “fat” or squarish as possible. For a given set of points a quadrangulation, if it exists, may not admit all its quadrilaterals to be convex. In such cases we desire that the quadrangulations have as many convex q...
متن کاملFixed Points of Asymptotically Regular Nonexpansive Mappings on Nonconvex Sets
It is shown that if X is a Banach space and C is a union of finitely many nonempty, pairwise disjoint, closed, and connected subsets {Ci : 1≤ i≤ n} of X , and each Ci has the fixed-point property (FPP) for asymptotically regular nonexpansive mappings, then any asymptotically regular nonexpansive self-mapping of C has a fixed point. We also generalize the Goebel-Schöneberg theorem to some Banach...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematica Moravica
سال: 2001
ISSN: 1450-5932,2560-5542
DOI: 10.5937/matmor0105111t